% http://icalp11.inf.ethz.ch/
% Submission Deadline: Feb 15, 2011
% 12 pages
% This is LLNCS.DEM the demonstration file of
% the LaTeX macro package from Springer-Verlag
% for Lecture Notes in Computer Science,
% version 2.3 for LaTeX2e

\documentclass{llncs}

%\usepackage[pdftex]{graphicx}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{makeidx}
\usepackage{listings}
\usepackage{algorithmic}
\usepackage{algorithm}
\usepackage{fancyvrb}

\newcommand{\Bs}[1]{\texttt{\symbol{92}}#1}
\newcommand{\B}[1]{\symbol{123}#1}
\newcommand{\BB}[1]{\symbol{125}#1}
\newcommand{\Dr}[1]{\symbol{36}#1}

\DefineVerbatimEnvironment%
  {VERBATIM}{Verbatim}
  {fontfamily=courier, fontsize=\small, commandchars=\\\{\}, numbers=left, xleftmargin=5mm}

\newcommand{\derives}{\stackrel{*}{\Longrightarrow}}

\begin{document}

\frontmatter          % for the preliminaries
%
\pagestyle{headings}  % switches on printing of running heads
\addtocmark{Extending LR Parsing Capabilities} % additional mark in the TOC
%
%\chapter*{Preface}
%
%\chapter*{Organization}
%
%\section*{Sponsoring Institutions}
%
%Bernauer-Budiman Inc., Reading, Mass.\\
%The Hofmann-International Company, San Louis Obispo, Cal.\\
%Kramer Industries, Heidelberg, Germany
%
%\tableofcontents
%
\mainmatter              % start of the contributions
%
\title{
Solving LR Conflicts via Nested Parsing and Dynamic Modification of The Action Table
%Extending LR Conflict Resolution Mechanisms%\footnotemark[3]
%Extending yacc Conflict Resolution Language%\footnotemark[3]
}
%

\titlerunning{A way simple to solve the conflicts in a LR parsing}
%                                     also used for the TOC unless
%                                     \toctitle is used
%
\author{
C.~Rodriguez-Leon and L. Garcia-Forte
}
%
\authorrunning{C.~Rodriguez-Leon and L. Garcia-Forte}
%
%%%% list of authors for the TOC (use if author list has to be modified)
\tocauthor{Ivar Ekeland, Roger Temam, Jeffrey Dean, David Grove,
Craig Chambers, Kim B. Bruce, Elisa Bertino}
%
\institute{
Departamento de EIO y Computaci\'on,\\
Universidad de La Laguna, Tenerife, Spain\\
\email{[casiano|lgforte]@ull.es},\\ WWW home page:
\texttt{http://nereida.deioc.ull.es}
}

\maketitle              % typeset the title of the contribution

\hyphenation{spe-cu-la-ti-ve spe-ci-fi-ca-tion li-mi-ta-tion
me-cha-nisms}

\begin{abstract}
\input{abstract.tex}
\end{abstract}

\section{Introduction}
\input{introduction.tex}

\section{The \textit{Postponed Conflict Resolution} Strategy}
\label{section:ppcrforrr}
\input{ppcrexplained.tex}

%\section{Low Level and High Level PPCR}
%\label{section:nestedparsing}
%% change it to 
%\input{nestedparsing2.tex}

%\section{What is the Power of PPCR?}
%\label{section:xsx}
%\input{unlimited.tex}

%\section{Context Dependent Parsing}
%\label{section:simpleexample}
%\input{simpleexample.tex}

\section{Implementation and Performance}
\label{section:ppcrlr}
\input{ppcrlr.tex}

%\section{Tokens Depending on the Syntactic Context}
%\label{section:pli}
%\input{pli.tex}

%\section{Computing the Expected Tokens}
%\label{section:expected}
%\input{expected.tex}

%\section{Other Applications: Data Generation Using LR parsers}
%\label{section:datageneration}
%\input{datageneration.tex}
%\section{Computational Results}
%\label{section:computationalresults}
%\input{computationalresults.tex}


\section{Conclusions}
\label{section:conclusion}
\input{conclusions.tex}

\section*{Acknowledgments}
\input{acknowledgments.tex}

\begin{thebibliography}{99}
\input{ppcr_ciaa_bib.tex}
\end{thebibliography}


\end{document}




